// Problem: 
// Contest: 
// URL: 
// Memory Limit: 
// Time Limit: 
// #pragma GCC optimize("Ofast")
// #pragma GCC optimize("unroll-loops")
// #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,avx2,tune=native")
#include<bits/stdc++.h>
using namespace std;
#define int long long
inline int read(){
	int s=0,w=1;
	char ch=getchar();
	while(ch<'0'||ch>'9'){if(ch=='-')w=-1;ch=getchar();}
	while(ch>='0'&&ch<='9') s=s*10+ch-'0',ch=getchar();
	return s*w;
}
string m[13]={" ","Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec"};
signed main()
{
	int t=1;
//	cin>>t;
	while(t--)
	{
		string s;
		getline(cin,s);
		int x;
		if(s[3]=='0')x=s[4]-'0';
		else x=(s[3]-'0')*10+s[4]-'0';
		string z=s.substr(0,3);
		for(int i=1;i<=12;i++)
		{
			if(!z.compare(m[i]))
			{
				cout<<i<<" "<<x;
			}
		}
	}
	return 0;
}
